Iterated hyper-extensions and an idempotent ultrafilter proof of Rado’s Theorem
نویسندگان
چکیده
منابع مشابه
An Elementary Proof of Fedĭi’s Theorem and Extensions
We present an elementary, L, proof of Fedĭı’s theorem on arbitrary (e.g., infinite order) degeneracy and extensions. In particular, the proof allows and shows C∞, Gevrey, and real analytic hypoellipticity, and allows the coefficents to depend on the remaining variable as well.
متن کاملUltrafilter Extensions for Coalgebras
This paper studies finitary modal logics as specification languages for Set-coalgebras (coalgebras on the category of sets) using Stone duality. It is wellknown that Set-coalgebras are not semantically adequate for finitary modal logics in the sense that bisimilarity does not in general coincide with logical equivalence. Stone-coalgebras (coalgebras over the category of Stone spaces), on the ot...
متن کاملShort Proof of Rayleigh’s Theorem and Extensions
Consider a walk in the plane made of n unit steps, with directions chosen independently and uniformly at random at each step. Rayleigh’s theorem asserts that the probability for such a walk to end at a distance less than 1 from its starting point is 1/(n + 1). We give an elementary proof of this result. We also prove the following generalization valid for any probability distribution μ on the p...
متن کاملAn Ultrafilter Approach to Jin’s Theorem
It is well known and not difficult to prove that if C ⊆ Z has positive upper Banach density, the set of differences C −C is syndetic, i.e. the length of gaps is uniformly bounded. More surprisingly, Renling Jin showed that whenever A and B have positive upper Banach density, then A − B is piecewise syndetic. Jin’s result follows trivially from the first statement provided that B has large inter...
متن کاملAnother proof of Banaschewski's surjection theorem
We present a new proof of Banaschewski's theorem stating that the completion lift of a uniform surjection is a surjection. The new procedure allows to extend the fact (and, similarly, the related theorem on closed uniform sublocales of complete uniform frames) to quasi-uniformities ("not necessarily symmetric uniformities"). Further, we show how a (regular) Cauchy point on a closed uniform subl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2014
ISSN: 0002-9939,1088-6826
DOI: 10.1090/s0002-9939-2014-12342-2